Operational machine specification in a functional programming language
نویسندگان
چکیده
منابع مشابه
Operational Machine Specification in a Functional Programming Language
This paper advocates the use functional programming languages for the formal specification of (abstract) machines. The presented description method describes machines by a two-level model. At the bottom layer machine components and the micro instructions to handle them are described by using an abstract data type. The top layer describes the machine instructions in terms of these micro instruct...
متن کاملSpecification Language Interface Identifier for Operational Testing
The deployment of new IP connectivity typically results in intermittent reachability for numerous reasons that are outside the scope of this document. In order to aid in the debugging of these persistent problems, this document proposes the creation of a new Routing Policy Specification Language attribute that allows a network to advertise an IP address that is reachable and can be used as a ta...
متن کاملGDSL: A Generic Decoder Specification Language for Interpreting Machine Language
The analysis of executable code requires the reconstruction of instructions from a sequence of bytes (or words) and a specification of their semantics. Most front-ends addressing this problem only support a single architecture, are bound to a specific programming language, or are hard to maintain. In this work, we present a domain specific language (DSL) called GDSL (Generic Decoder Specificati...
متن کاملCombining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
An operational semantics for a significant subset of the Verilog Hardware Description Language (HDL) has been developed. An unusual aspect of the semantics is that it was formulated as a Prolog logic program. This allows the possibility of simulating the semantics. In addition, a literate programming style has been used, so the semantics can be processed by the LTEX document preparation system ...
متن کاملA Structured Functional Programming Language
Declarative languages provide means of specifying problem solutions, without giving much attention to how the proposed solution is going to be effectively implemented. When only specification is provided, the system attempts execution using search techniques which may compromise efficiency. In this paper, we propose a new programming language that integrates functional and logic features togeth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 1995
ISSN: 0038-0644,1097-024X
DOI: 10.1002/spe.4380250502